Higher order predicate calculus
[计] 高阶谓词演算
🧩 词语组成解析
[经] 上扬
order
['ɔ:də]
n. 命令;秩序;规则，制度;次序;
vt. 命令;订购;整理;
vi. 下订单;
predicate
['predikit]
vt. 断言，断定;宣布，宣讲;使基于;
vi. 断言，断定;
n. 谓语;述语;
adj. 谓语的;述语的;
calculus
['kælkjələs]
n. [医]结石，石，积石，牙垢;[数]运算，演算，微积分（学）;
ule,ulus 后缀;表”小,少”#词根助记：calc石头(古时候用石头来计算)##calc 石灰,石头#词根助记：calc石头(古时候用石头来计算)
🗣️ 情景例句
Do you live in New York?
住在纽约吗？
He that will take the bird must not scare it.
欲捉鸟莫惊鸟。
but then she decided that at her age it might be more prudent to have someone with her,
但转念一想，像她这个年纪，最好找个人一起去。